Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
451	Evaluation is assessing the merit of a planned series of activities or events that affect three key audiences: 1) individuals, 2) organizations, and 3) communities. Once planned coalition or program activities are imple Add to Reading List Source URL: stopfalls.org Language: English - Date: 2013-08-29 16:33:10 Impact assessment Program evaluation Evaluation methods Methodology Logic model Evaluation Analysis Value ethics)
452	Performance Improvements for Large Scale Traffic Simulation in MATSim Rashid A. Waraich David Charypar Michael Balmer Kay W. Axhausen Add to Reading List Source URL: www.strc.ch Language: English - Date: 2009-09-16 14:58:16 Computing Operations research Software Digital electronics Scientific modeling Simulation Electronic design automation Traffic simulation Agent-based model Thread Logic simulation Queueing theory
453	The Expressive Completeness of Metric Temporal Logic 2ex Add to Reading List Source URL: highlights-conference.org Language: English* - Date: 2013-09-18 06:35:46 Mathematical logic Logic Fuzzy logic Theoretical computer science Temporal logic Monoidal t-norm logic FO LTL BL First-order logic Model checking MTL
454	Intro First-order theories Higher-order theories Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2010-09-16 03:38:56 Mathematics Logic Mathematical structures Mathematical logic Model theory Universal algebra Metalogic Lawvere theory Topology William Lawvere Structure
455	Revisiting default description logics – and their role in aligning ontologies Kunal Sengupta1 , Pascal Hitzler1 , and Krzysztof Janowicz2 1 Wright State University, Dayton OH 45435, USA Add to Reading List Source URL: geog.ucsb.edu Language: English - Date: 2015-06-12 14:24:23 Logic Abstraction Philosophy Non-classical logic Model theory Reasoning Knowledge representation Logic programming Default logic Description logic First-order logic Web Ontology Language
456	COGNITION ELSEVIER Cognition W h e n do speakers take into account c o m m o n Add to Reading List Source URL: psychology.uchicago.edu Language: English - Date: 2007-07-24 16:06:44 Semantics Philosophy of language Meaning Philosophical logic Audience design Psycholinguistics Collaborative model Pragmatics
457	ELWG – E QUILIBRIUM L OGIC W ORKING G ROUP A R EVISED C ONCEPT OF S AFETY FOR G ENERAL A NSWER S ET P ROGRAMS Add to Reading List Source URL: www.ia.urjc.es Language: English - Date: 2009-10-08 06:22:48 Logic Model theory Mathematical logic Abstraction Symbol Interpretation First-order logic Structure Normal distribution Substitution
458	Logic Programming in Tabular Allegories∗ Emilio Jesús Gallego Arias1 and James B. Lipton2 1 2 Universidad Politécnica de Madrid Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2012-07-27 05:34:26 Model theory Mathematical logic Automated theorem proving Logic programming Logic in computer science Allegory Pullback Substitution Structure Unification Kripke semantics Interpretation
459	Conservative Logic1 Edward Fredkin and Tommaso Toffoli MIT Laboratory for Computer Science 545 Technology Square Cambridge, MassachusettsConservative logic is a comprehensive model of computation which explicitly Add to Reading List Source URL: strangepaths.com Language: English - Date: 2010-11-21 18:24:41
460	UpSet: Visualization of Intersecting Sets Alexander Lex, Nils Gehlenborg, Hendrik Strobelt, Romain Vuillemot, and Hanspeter Pfister Set$Menu Combina2on$Matrix Set$View Add to Reading List Source URL: people.seas.harvard.edu Language: English - Date: 2015-05-26 14:38:24 Mathematics Binary operations Mathematical logic Set theory Visualization Cardinality Entityrelationship model Union Set Intersection Base Interactive visual analysis

UPDATE